Reasoning from detailed facts to general principles.
Method of reasoning in binary logic, in which the sufficient (but not always necessary) premises are viewed (when they are fulfilled) as supplying a strong evidence for the truth of a given conclusion.